Primitive types - PDFSEARCH.IO - Document Search Engine

Primitive types
Results: 885

#	Item
191	Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.2 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering
192	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.5) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
193	Specification of FlatZinc Version 1.0 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type ECL programming language Array data type C Software engineering Computing Computer programming
194	Multi-Stage Construction of a Global Static Analyzer (in G LOBAL G CC project) Basile Starynkevitch CEA LIST (Software Reliability Lab.) Add to Reading List Source URL: starynkevitch.net Language: English - Date: 2007-11-12 02:37:07 Data types Cross-platform software Compiler construction Primitive types Type theory Pointer GNU Compiler Collection C Lisp Software engineering Computing Computer programming
195	mnemonic.js Memorable & strong passphrases in the browser Yiorgis Gozadinos, Crypho AS , Add to Reading List Source URL: passwords12.at.ifi.uio.no Language: English - Date: 2012-12-13 07:09:52 Computing Binary arithmetic Word Passphrase Hexadecimal Integer Notation Information Data types Primitive types Computer arithmetic
196	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
197	0 E-Discovery on a Budget © 2015 Craig Ball Add to Reading List Source URL: jolt.richmond.edu Language: English - Date: 2015-03-16 13:24:59 Primitive types Arithmetic Computer arithmetic Numbers Units of information Bit Octal Binary numeral system Binary file Binary arithmetic Data types Computing
198	-... . November 5, 1956 H. C. Montgomery Delta Computer Memo No, 16 Add to Reading List Source URL: archive.computerhistory.org Language: English - Date: 2006-01-06 17:21:30 Computer memory Data types Primitive types Brainfuck Byte ZPAQ Endianness Computing Software engineering Information
199	Paradigm Lost: Abstraction Mechanisms for Access Control Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2003-11-20 19:21:31 Access control Data types Primitive types Computer security Object-capability model Object-oriented programming Capability-based security Reference Programming paradigm Software engineering Computing Computer programming
200	AProVE: Termination and Memory Safety of C Programs? (Competition Contribution) T. Str¨ oder, C. Aschermann, F. Frohn, J. Hensel, and J. Giesl RWTH Aachen University, Germany Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:54 Data types Primitive types Termination analysis Pointer Memory safety Prolog Reference LLVM Algorithm Computing Software engineering Computer programming

UPDATE